#ifndef COLLECTION_SPAN_H
#define COLLECTION_SPAN_H

#include "Collection.h"

class Collection_Span {
public:
    Item_Iterator start;
    Item_Iterator end;
    int n;
    Collection *items;

    Collection_Span(Object_List *items);
    Collection_Span(const Item_Iterator& start,
                    const Item_Iterator& end, int n,
                    Object_List *items);
    void append(Collection_Span& other);
    void write    (std::ostream& os) const;
    void write_IDs(std::ostream& os) const;
};

#endif

